increasing function theorem proof